一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

复合导引头目标信息融合抗干扰技术研究

复合导引头由微波制导至红外制导的过程中,受干扰条件的影响,有可能出现错误交班。为了提高导引头应对干扰的能力,设计了一种微波/红外目标信息融合抗干扰方法,该方法利用微波与红外目标信息进行关联度检测,对跟踪微波与红外运动的趋势进行在线实时判断,及时做出干扰误交班判定。在进行了干扰误交班的情况下,MATLAB数字仿真结果表明,该算法能够准确有效地给出干扰误交班判断,从而保证了在干扰环境下对目标跟踪的稳定性。     

基于幅频响应特性的半球谐振子频率裂解与固有刚度轴方位角测定方法

半球谐振子频率裂解与固有刚度轴方位角是影响陀螺性能指标的核心因素。提出了一种基于幅频响应特性的半球谐振子频率裂解与固有刚度轴方位角测定方法，采用压电激振台扫频激振，多普勒激光测振仪检测谐振子的幅频响应特性，通过幅频响应特性曲线分析实现频率裂解与固有刚度轴方位角的测定。对该方法进行了理论分析，搭建了实验装置，并对半球谐振子进行了测试，结果表明：该方法频率裂解测量精度优于0.01Hz，固有频率主轴方位角确定精度优于±1.17°，具有良好的可行性，在半球谐振陀螺研制方面具有良好的参考意义。     

运载火箭推进剂复杂流动传热问题数值模拟中的模型简化方法

在运载火箭改进优化或新型运载火箭设计过程中,会遇到各种复杂的流动与传热问题。按照真实产品和物理过程直接建立的数值计算模型过于复杂,不同尺度的结构、流动与传热、长时间的飞行过程相互耦合,出现计算时间太长(数年)、收敛困难、程序调试困难等问题。针对初始条件复杂、飞行过程复杂、边界条件复杂3类具体问题,总结了3种相应的模型简化方法,分别是工程经验法、极限参数法、低维近似法,为推进剂复杂流动与传热的数值模拟提供参考。     

流动阻力及能量损失对注射成型制件的影响

本文分析了在塑料熔体充满型腔的过程中，流动阻力及能量损失产生的形式和物理原因，进而讨论了对塑料制件成型及凝固过程中的影响。并提出降低影响的措施。     

燃烧火焰温度分布重建结果误差分析

分析了采用辐射型CT算法的燃烧火焰温度发布重建结果误差产生的原因，给出了解决方法。     

电连接器接点焊接工艺研究

针对航天产品电连接器接点焊点与引线断裂失效问题,分析了焊接过程中助焊剂、焊料、焊接工具和防护套等对接点焊接质量的影响。结合实践经验,提出相关工作参数和材料的选取原则,确定了生产中焊接技术的质量控制点。     

热处理作业系统中安全性评价的AHP方法

本给出了系统安全性评价的AHP方法，叙述了该方法的基本步骤，并以沈阳某集团公司热处理弹簧厂评价的实例说明了该方法的有效性。     

新会计准则对盈余管理的制约作用——基于上市公司年报的实证研究

在回顾盈余管理相关文献的基础上,阐述了新会计准则中各相关的具体准则对上市公司盈余管理制约作用的具体表现.然后选取上海证券交易所100家上市公司年报数据为样本,运用截面修正Jones模型进行实证分析,得出在盈余管理方面新会计准则较旧企业会计准则整体优越的结论.     

中小城市公交线路查询系统设计方法研究

论文在对首先阐述中小城市公交线路查询系统的需求分析、系统功能及性能要求描述的基础上具体讨论了系统设计、系统总体设计的思路和方法;最后给出了系统的测试分析和系统设计总结。